根据推理中前提和结论之间的逻辑关系,可以把推理分为（）和或然性推理。

一有效三段论,已知其大前提为PEM,则其小前提应是（）

• A、SIM
• B、SOM
• C、MOS
• D、MAS
• E、MES

已知“如果甲值班，那么乙或丙也值班”为真，则下列必然为真的是（）

• A、只有甲值班,乙或丙才值班
• B、如果乙和丙值班，那么甲也值班
• C、如果甲不值班，那么乙和丙也不值班
• D、如果乙和丙不值班，那么甲也不值班
• E、只有乙或丙值班,甲才值班